منابع مشابه
Truthmakers, Entailment and Necessity
The hallowed path from language to universals has been by way of the correspondence theory of truth: the doctrine that whenever something is true, there must be something in the world which makes it true. I will call this the Truthmaker axiom. The desire to find an adequate truthmaker for every truth has been one of the sustaining forces behind traditional theories of u n i v e r s a l s . . . ...
متن کاملBiased agonism
Seven-transmembrane receptors are commonly coupled to multiple signaling pathways in cells. The simple model describing agonists for these receptors as producing a common active state to induce uniform activation of the pathways linked to the receptor has been shown to be untenable in light of a large body of data that suggest that some agonists produce activation of some but not all available ...
متن کاملDiscovering Entailment Relations Using "Textual Entailment Patterns"
In this work we investigate methods to enable the detection of a specific type of textual entailment (strict entailment), starting from the preliminary assumption that these relations are often clearly expressed in texts. Our method is a statistical approach based on what we call textual entailment patterns, prototypical sentences hiding entailment relations among two activities. We experimente...
متن کاملParallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers
An automated forward deduction system for entailment calculus is an indispensable component of many application systems – such as theorem finding, active database, knowledge discovery systems – that require an autonomous reasoning engine. The performance of an automated forward deduction system is crucial to its applicability. In this paper, we present some parallel forward deduction algorithms...
متن کاملEliciting Entailment
Interactive construct elicitetion systems may be seen on the one hand as tools for self-realization and construct development and on th~ other as dialectic database systems in which ~hc entire data structure is built up through a process of question, answer and discussion. Current computer-based construct elicitation programs use distance-based measures to feed back construct similarities and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Science
سال: 2021
ISSN: 1233-1821,1572-8471
DOI: 10.1007/s10699-020-09745-2